document.write (" 12440 ");