document.write (" 10144 ");