document.write (" 7967 ");