document.write (" 5941 ");