document.write (" 10308 ");