document.write (" 80920 ");