document.write (" 31218 ");