document.write (" 5995 ");