document.write (" 5923 ");