Ho risolto
ho messo all'inizio dello script questo:
var tips_new = new Tips($$('.tips_new'));

pratcamente prima di window.location = 'index.php';