document.write (" 5930 ");