document.write (" 5236 ");