document.write (" 5316 ");