document.write (" 13144 ");