In molti alberghi, negli ascensori, il pulsante con il numero 13 non c'è