document.write (" 20316 ");