document.write (" 12308 ");