document.write (" 12140 ");