document.write (" 5993 ");