document.write ("136142");