document.write (" 5216 ");