document.write (" 5117 ");