document.write (" 7944 ");