ફાંસી આપતી વખતે જ તો દોરડુ તુટી જાય તો ફાંસી માફ કે પછી ફરીથી લટકાવવામાં આવે?