document.write (" 12431 ");