document.write (" 5287 ");