document.write (" 12401 ");