document.write (" 4052 ");