document.write ("4246 ");