document.write (" 8941 ");