document.write ("6742");