document.write (" 7144 ");