document.write (" 12438 ");