document.write (" 5217 ");