document.write (" 10423 ");