function _attachOnload(f) {
if (window.addEventListener)
window.addEventListener('load', f, false);
else if (window.attachEvent)
window.attachEvent('onload', f);
}
// Show Google Maps
show_mapa = function() {
document.writeln([
'',
'',
'',
].join("\n"));
Event.observe(window, 'load', function() {
});
}
