document.write ("4046 ");