document.write('
§╦
')