document.write (" 5188 ");