document.write (" 5888 ");