document.write (" 7923 ");