document.write (" 14112 ");