document.write ("4252 ");