document.write (" 5388 ");