document.write (" 10032 ");