document.write ("4236 ");