document.write (" 13218 ");